#Constants
identifier sink is 20

#Event Types
Type send as senddone is 
nodeid is integer from 0 to 255 : error
destination is integer : warning
origin is integer from 0 to 255 : error
seqNo is periodic from 0 to 255 : error
ack is integer from 0 to 1: warning
end

Type received is 
nodeid is integer from 0 to 255 : error
origin is integer from 0 to 255 : error
seqNo is periodic from 0 to 255 : error
destination is integer : warning
end

Type drift as meas is
nodeid is integer from 0 to 255 : error
neighborId as address is integer from 0 to 255 : error
sync-diff is integer from 0 to 65356 : warning
absDrift as driftError is integer : warning
relativeDrift is float : warning
driftSign as pos_drift is integer from 0 to 1: warning
end

#Sub-Topology

#40/41/42

constraint send when nodeid is 40
destination is integer 29,41,42: warning
end

constraint meas when nodeid is 40
neighborId is integer 29,41,42: warning
end

constraint send when nodeid is 41
destination is integer 29,40,42,43: warning
end

constraint meas when nodeid is 41
neighborId is integer 29,40,42,43: warning
end

constraint send when nodeid is 42
destination is integer 40,41,43: warning
end

constraint meas when nodeid is 42
neighborId is integer 40,41,43: warning
end

constraint meas
sync-diff is integer from 0 to 5000: warning("sync-diff out of typical range")
end